A. Tacchella : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (146)
Les plus populaires
Liste
- Liste
- Tableau

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || An Extensible SAT-solver

Giunchiglia, Enrico, Tacchella, Armando

Année:

2004

Langue:

english

Fichier:

PDF, 600 KB

english, 2004

A case study for a new metrics for economic complexity: The Netherlands

Zaccaria, Andrea, Cristelli, Matthieu, Kupers, Roland, Tacchella, Andrea, Pietronero, Luciano

Journal:

Journal of Economic Interaction and Coordination

Année:

2016

Langue:

english

Fichier:

PDF, 1.83 MB

english, 2016

Learning middleware models for verification of distributed control programs

Khalili, Ali, Narizzano, Massimo, Natale, Lorenzo, Tacchella, Armando

Journal:

Robotics and Autonomous Systems

Année:

2017

Langue:

english

Fichier:

PDF, 638 KB

english, 2017

Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics

Leofante, Francesco, Ábrahám, Erika, Niemueller, Tim, Lakemeyer, Gerhard, Tacchella, Armando

Journal:

Information Systems Frontiers

Année:

2018

Langue:

english

Fichier:

PDF, 2.44 MB

english, 2018

Measuring the Intangibles: A Metrics for the Economic Complexity of Countries and Products

Cristelli, Matthieu, Gabrielli, Andrea, Tacchella, Andrea, Caldarelli, Guido, Pietronero, Luciano, Barrat, Alain

Journal:

PLoS ONE

Année:

2013

Langue:

english

Fichier:

PDF, 2.97 MB

english, 2013

A dynamical systems approach to gross domestic product forecasting

Tacchella, A., Mazzilli, D., Pietronero, L.

Journal:

Nature Physics

Année:

2018

Langue:

english

Fichier:

PDF, 2.15 MB

english, 2018

De la Chirurgia Magna (1363) aux Fleurs de Guidon : Transmission et dissémination du savoir chirurgical en français au 15 e siècle

Bazin-Tacchella, Sylvie

Journal:

Romance Philology

Année:

2017

Langue:

french

Fichier:

PDF, 324 KB

french, 2017

[IEEE 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Portland, OR, USA (2019.11.4-2019.11.6)] 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI) - Automating Elevator Design with Satisfiability Modulo Theories

Demarchi, Stefano, Menapace, Marco, Tacchella, Armando

Année:

2019

Langue:

english

Fichier:

PDF, 5.35 MB

english, 2019

A distributed interconnected control for computer-integrated manufacturing

G.M. Acaccia, R.C. Michelini, R.M. Molfino, F. Stolfo, A. Tacchella

Journal:

Computer Integrated Manufacturing Systems

Année:

1989

Langue:

english

Fichier:

PDF, 743 KB

english, 1989

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism

Claudio Castellini, Enrico Giunchiglia, Armando Tacchella

Journal:

Artificial Intelligence

Année:

2003

Langue:

english

Fichier:

PDF, 460 KB

english, 2003

Backjumping for Quantified Boolean Logic satisfiability

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Journal:

Artificial Intelligence

Année:

2003

Langue:

english

Fichier:

PDF, 221 KB

english, 2003

Towards an Efficient Library for SAT: a Manifesto

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi

Journal:

Electronic Notes in Discrete Mathematics

Année:

2001

Fichier:

PDF, 886 KB

2001

Economic complexity: Conceptual grounding of a new metrics for global competitiveness

Tacchella, A., Cristelli, M., Caldarelli, G., Gabrielli, A., Pietronero, L.

Journal:

Journal of Economic Dynamics and Control

Année:

2013

Langue:

english

Fichier:

PDF, 1.41 MB

english, 2013

SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation

Giunchiglia, Enrico, Sebastiani, Roberto, Giunchiglia, Fausto, Tacchella, Armando

Journal:

Journal of Applied Non-Classical Logics

Année:

2000

Langue:

english

Fichier:

PDF, 1.42 MB

english, 2000

Evidence for mature bulges and an inside-out quenching phase 3 billion years after the Big Bang

Tacchella, S., Carollo, C. M., Renzini, A., Schreiber, N. M. F., Lang, P., Wuyts, S., Cresci, G., Dekel, A., Genzel, R., Lilly, S. J., Mancini, C., Newman, S., Onodera, M., Shapley, A., Tacconi, L., W

Journal:

Science

Année:

2015

Langue:

english

Fichier:

PDF, 1.47 MB

english, 2015

[IEEE 2015 IEEE/ACM 10th International Workshop on Automation of Software Test (AST) - Florence, Italy (2015.5.23-2015.5.24)] 2015 IEEE/ACM 10th International Workshop on Automation of Software Test - Automatic Test-Pattern Generation for Grey-Box Programs

Khalili, Ali, Narizzano, Massimo, Tacchella, Armando, Giunchiglia, Enrico

Année:

2015

Langue:

english

Fichier:

PDF, 229 KB

english, 2015

Evolution of density profiles in high- z galaxies: compaction and quenching inside-out

Tacchella, Sandro, Dekel, Avishai, Carollo, C. Marcella, Ceverino, Daniel, DeGraf, Colin, Lapiner, Sharon, Mandelker, Nir, Primack, Joel R.

Journal:

Monthly Notices of the Royal Astronomical Society

Année:

2016

Langue:

english

Fichier:

PDF, 8.20 MB

english, 2016

Self-Strangulation Through A Sphygmomanometer: An Uncommon Suicide

Lo Pinto, Sara, Tacchella, Tiziana, Fossati, Francesca, Bonsignore, Alessandro, Ventura, Francesco

Journal:

Journal of Forensic Sciences

Année:

2016

Langue:

english

Fichier:

PDF, 359 KB

english, 2016

Quantitative evaluation of gender bias in astronomical publications from citation counts

Caplar, Neven, Tacchella, Sandro, Birrer, Simon

Journal:

Nature Astronomy

Année:

2017

Langue:

english

Fichier:

PDF, 251 KB

english, 2017

The importance of computer tomography-imaging in a case of a gunshot wound with an atypical entrance wound

Tacchella, Tiziana, Ventura, Francesco, Cittadini, Giuseppe, Nosenzo, Francesca, Molinelli, Andrea

Journal:

Journal of Forensic Radiology and Imaging

Année:

2017

Langue:

english

Fichier:

PDF, 511 KB

english, 2017

Corrigendum: Quantitative evaluation of gender bias in astronomical publications from citation counts

Caplar, Neven, Tacchella, Sandro, Birrer, Simon

Journal:

Nature Astronomy

Année:

2017

Fichier:

PDF, 40 KB

2017

Anatomical and functional abnormalities on MRI in kabuki syndrome

Boisgontier, Jennifer, Tacchella, Jean Marc, Lemaître, Hervé, Lehman, Natacha, Saitovitch, Ana, Gatinois, Vincent, Boursier, Guilaine, Sanchez, Elodie, Rechtman, Elza, Fillon, Ludovic, Lyonnet, Stanis

Journal:

NeuroImage: Clinical

Année:

2018

Langue:

english

Fichier:

PDF, 717 KB

english, 2018

A Redshift-independent Efficiency Model: Star Formation and Stellar Masses in Dark Matter Halos at z ≳ 4

Tacchella, Sandro, Bose, Sownak, Conroy, Charlie, Eisenstein, Daniel J., Johnson, Benjamin D.

Journal:

The Astrophysical Journal

Année:

2018

Langue:

english

Fichier:

PDF, 6.61 MB

english, 2018

Collaboration between a human group and artificial intelligence can improve prediction of multiple sclerosis course: a proof-of-principle study

Tacchella, Andrea, Romano, Silvia, Ferraldeschi, Michela, Salvetti, Marco, Zaccaria, Andrea, Crisanti, Andrea, Grassi, Francesca

Journal:

F1000Research

Année:

2018

Langue:

english

Fichier:

PDF, 1012 KB

english, 2018

High-redshift JWST predictions from IllustrisTNG: dust modelling and galaxy luminosity functions

Vogelsberger, Mark, Nelson, Dylan, Pillepich, Annalisa, Shen, Xuejian, Marinacci, Federico, Springel, Volker, Pakmor, RÃ¼diger, Tacchella, Sandro, Weinberger, Rainer, Torrey, Paul, Hernquist, Lars

Journal:

Monthly Notices of the Royal Astronomical Society

Année:

2020

Fichier:

PDF, 7.35 MB

2020

[IEEE 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Bari, Italy (2019.10.6-2019.10.9)] 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC) - Conditional Behavior Trees: Definition, Executability, and Applications

Giunchiglia, Eleonora, Colledanchise, Michele, Natale, Lorenzo, Tacchella, Armando

Année:

2019

Langue:

english

Fichier:

PDF, 4.47 MB

english, 2019

The Language of Innovation

Tacchella, Andrea, Napoletano, Andrea, Pietronero, Luciano, Amancio, Diego Raphael

Journal:

PLoS ONE

Année:

2020

Fichier:

PDF, 1.95 MB

2020

Rapid Reionization by the Oligarchs: The Case for Massive, UV-bright, Star-forming Galaxies with High Escape Fractions

Naidu, Rohan P., Tacchella, Sandro, Mason, Charlotte A., Bose, Sownak, Oesch, Pascal A., Conroy, Charlie

Journal:

The Astrophysical Journal

Année:

2020

Fichier:

PDF, 3.98 MB

2020

Reconstructive microsurgery of lymph vessels: The personal method of lymphatic-venous-lymphatic (LVL) interpositioned grafted shunt

Prof. C. Campisi, F. Boccardo, M. Tacchella

Journal:

Microsurgery

Année:

1995

Fichier:

PDF, 623 KB

1995

Derivative lymphatic microsurgery: Indications, techniques, and results

Prof. C. Campisi, F. Boccardo, P. Alitta, M. Tacchella

Journal:

Microsurgery

Année:

1995

Langue:

english

Fichier:

PDF, 513 KB

english, 1995

On rational solutions of multicomponent and matrix KP hierarchies

Alberto Tacchella

Journal:

Journal of Geometry and Physics

Année:

2011

Langue:

english

Fichier:

PDF, 276 KB

english, 2011

Use of thermotherapy in management of lymphedema: clinical observations

C. Campisi, F. Boccardo, M. Tacchella

Journal:

International Journal of Angiology

Année:

1999

Langue:

english

Fichier:

PDF, 470 KB

english, 1999

Burden of rotavirus infections in Liguria, northern Italy: hospitalisations and potential savings by vaccination

D. Panatto, D. Amicizia, R. Giacchino, A. Tacchella, A. R. Natalizia, G. Melioli, R. Bandettini, P. Di Pietro, M. C. Diana, R. Gasparini

Journal:

European Journal of Clinical Microbiology & Infectious Diseases

Année:

2011

Langue:

english

Fichier:

PDF, 198 KB

english, 2011

NeVer: a tool for artificial neural networks verification

Luca Pulina, Armando Tacchella

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2011

Langue:

english

Fichier:

PDF, 520 KB

english, 2011

A self-adaptive multi-engine solver for quantified Boolean formulas

Luca Pulina, Armando Tacchella

Journal:

Constraints

Année:

2009

Langue:

english

Fichier:

PDF, 651 KB

english, 2009

A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics

Enrico Giunchiglia, Armando Tacchella

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2001

Langue:

english

Fichier:

PDF, 190 KB

english, 2001

SAT-Based Decision Procedures for Classical Modal Logics

Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia

Journal:

Journal of Automated Reasoning

Année:

2002

Langue:

english

Fichier:

PDF, 326 KB

english, 2002

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || SAT Based Predicate Abstraction for Hardware Verification

Giunchiglia, Enrico, Tacchella, Armando

Année:

2004

Langue:

english

Fichier:

PDF, 247 KB

english, 2004

Immunomodulatory therapy in recurrent acute necrotizing encephalopathy ANE1: Is it useful?

Laura Bergamino, Valeria Capra, Roberta Biancheri, Andrea Rossi, Angela Tacchella, Linda Ambrosini, Masashi Mizuguchi, Makiko Saitoh, Maria Grazia Marazzi

Journal:

Brain and Development

Année:

2012

Langue:

english

Fichier:

PDF, 655 KB

english, 2012

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing Volume 2919 || Width-Based Algorithms for SAT and CIRCUIT-SAT

Giunchiglia, Enrico, Tacchella, Armando

Année:

2004

Langue:

english

Fichier:

PDF, 178 KB

english, 2004

Epidemiology and clinical features of Mycoplasma pneumoniae infection in children

Annacarla Defilippi, Michela Silvestri, Angela Tacchella, Raffaella Giacchino, Giovanni Melioli, Eddi Di Marco, Carmela Cirillo, Pasquale Di Pietro, Giovanni A. Rossi

Journal:

Respiratory Medicine

Année:

2008

Langue:

english

Fichier:

PDF, 256 KB

english, 2008

Burden of rotavirus disease and cost-effectiveness of universal vaccination in the Province of Genoa (Northern Italy)

D. Panatto, D. Amicizia, F. Ansaldi, A. Marocco, F. Marchetti, F. Bamfi, R. Giacchino, A. Tacchella, S. Del Buono, R. Gasparini

Journal:

Vaccine

Année:

2009

Langue:

english

Fichier:

PDF, 243 KB

english, 2009

Quantifier Structure in Search-Based Procedures for QBFs

Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Année:

2007

Langue:

english

Fichier:

PDF, 472 KB

english, 2007

Azithromycin long-term therapy in CF patients: microbiological and clinical effects

R. Casciaro, S. Pessano, M. Caso, M. Serafino, G. Manno, M. Mentasti, A. Tacchella, L. Minicucci

Journal:

Journal of Cystic Fibrosis

Année:

2008

Langue:

english

Fichier:

PDF, 60 KB

english, 2008

Survival analysis of CF patients diagnosed in a 35-year neonatal screening program in North-eastern Italy

N. Tacchella, P. Iansa, C. Castellani, B.M. Assael

Journal:

Journal of Cystic Fibrosis

Année:

2009

Langue:

english

Fichier:

PDF, 62 KB

english, 2009

Multicenter prospective study about complications of totally implantable central venous access ports in Italian people with CF: preliminary results

A. Dal Molin, C. Braggion, S. Bisogni, E. Rizzi, N. Tacchella, V. Carnovale, S. Del Vecchio, M.L. Furnari, M. Calamia, G. Tuccio, V. Spadea, F. Festini

Journal:

Journal of Cystic Fibrosis

Année:

2009

Langue:

english

Fichier:

PDF, 61 KB

english, 2009

Omeprazole reduces response to capsaicin, not to methacholine in asthmatics with proximal reflux

L. Benini, N. Tacchella, M. Ferrari, F. De Iorio, I. Vantini

Journal:

Digestive and Liver Disease

Année:

2006

Langue:

english

Fichier:

PDF, 281 KB

english, 2006

Cytomegalovirus and immunodepressive therapy in IBD

F. De Iorio, L. Rigo, P. Capelli, G. Talamini, N. Tacchella, C. Cannizzaro, G. Delaini, I. Vantini, L. Benini

Journal:

Digestive and Liver Disease

Année:

2006

Langue:

english

Fichier:

PDF, 121 KB

english, 2006

Competitors’ communities and taxonomy of products according to export fluxes

M. Cristelli, A. Tacchella, A. Gabrielli, L. Pietronero, A. Scala, G. Caldarelli

Journal:

The European Physical Journal Special Topics

Année:

2012

Langue:

english

Fichier:

PDF, 216 KB

english, 2012

Ontology-based data access: An application to intermodal logistics

Casu, Matteo, Cicala, Giuseppe, Tacchella, Armando

Journal:

Information Systems Frontiers

Année:

2013

Langue:

english

Fichier:

PDF, 1.63 MB

english, 2013